Symposium on Logic in Computer Science

Results: 42



#Item
11Theoretical computer science / Rajeev Alur / Logic in computer science / Symposium on Logic in Computer Science / Automata / Hybrid automaton / Formal languages / Timed automaton

The 2016 Alonzo Church Award for Outstanding Contributions to Logic and Computation The 2016 Alonzo Church Award for Outstanding Contributions to Logic and Computation is given to Rajeev Alur and David Dill for their inv

Add to Reading List

Source URL: eacsl.kahle.ch

Language: English
12

23rd Annual IEEE Symposium on Logic in Computer Science Winning regions of higher-order pushdown games∗ A. Carayol† M. Hague‡

Add to Reading List

Source URL: www.cs.rhul.ac.uk

Language: English - Date: 2013-02-08 18:19:58
    13Logic in computer science / Symposium on Principles of Programming Languages / International Semantic Web Conference / Separation logic / Automated reasoning / Computer Aided Verification / Abstract interpretation / Vasant Honavar / Vienna Summer of Logic

    Curriculum Vitae Ruzica Piskac address: The Department of Computer Science

    Add to Reading List

    Source URL: www.cs.yale.edu

    Language: English - Date: 2015-01-29 21:52:24
    14

    Gundersen, T., Heijltjes, W. and Parigot, MAtomic lambda-calculus : A typed lambda-calculus with explicit sharing. In: Proceedings of the 28th Annual ACM/IEEE Symposium on Logic in Computer Science. IEEE, pp. 31

    Add to Reading List

    Source URL: www.cs.bath.ac.uk

    Language: English - Date: 2014-06-28 10:09:38
      15Theoretical computer science / Mathematics / Mathematical logic / Automated theorem proving / Logic in computer science / Type theory / Unification / Logic programming / Anti-unification / Function / HindleyMilner type system

      RISC-Linz Research Institute for Symbolic Computation Johannes Kepler University A-4040 Linz, Austria, Europe Sixth International Symposium on

      Add to Reading List

      Source URL: www.risc.jku.at

      Language: English - Date: 2014-12-04 18:09:21
      16Computer science / Rajeev Alur / Formal sciences / Automata theory / Model checking / IEEE Symposium on Logic in Computer Science / Formal methods / Formal verification / Symposium on Theory of Computing / Theoretical computer science / Applied mathematics / Logic in computer science

      Mukund Raghothaman Wednesday 8th October, 2014 Contact Details Department of Computer and Information Science University of Pennsylvania

      Add to Reading List

      Source URL: www.cis.upenn.edu

      Language: English - Date: 2014-10-08 01:07:27
      17Programming paradigms / Formal sciences / Association for Computing Machinery / Principles of Programming Languages / Formal methods / International Conference on Logic Programming / Logic programming / International Symposium on Logic-based Program Synthesis and Transformation / Lecture Notes in Computer Science / Computer science / Computing / Software engineering

      Manuel Hermenegildo Areas of Interest Energy-Aware Computing, Resource / non-functional property analysis, verification, and control; Global Program Analysis, Optimization, Verification, Debugging; Abstract Interpretatio

      Add to Reading List

      Source URL: www.clip.dia.fi.upm.es

      Language: English - Date: 2014-07-12 00:42:10
      18Logic in computer science / IEEE Symposium on Logic in Computer Science / Kleene award / Association for Computing Machinery / Federated Logic Conference / ACM SIGACT / Theoretical computer science / Computer science / Applied mathematics

      Report on CSL-LICS 2014 from the Program Committee Chairs Thomas Henzinger (IST, Austria) and Dale Miller (INRIA, France) Vienna, July 2014

      Add to Reading List

      Source URL: eacsl.kahle.ch

      Language: English - Date: 2014-07-23 09:38:07
      19Computer science / Academic publishing / University of Freiburg / Susanne Albers / Proceedings / IEEE Symposium on Logic in Computer Science / Electronic submission / CONFER / Theoretical computer science / Symposium on Theoretical Aspects of Computer Science / Academia

      Call for Papers STACS 2009 26th International Symposium on Theoretical Aspects of Computer Science February 26-28, 2009; Freiburg, Germany Program Committee Susanne Albers, U Freiburg (co-chair)

      Add to Reading List

      Source URL: stacs2009.informatik.uni-freiburg.de

      Language: English - Date: 2008-05-21 04:30:44
      UPDATE